implication imply

隐含